- combinator code
- 组合程序代码
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
combinator code
Look at other dictionaries:
Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions … Wikipedia
Fixed point combinator — A fixed point combinator (or fixed point operator) is a higher order function that computes a fixed point of other functions. This operation is relevant in programming language theory because it allows the implementation of recursion in the form… … Wikipedia
Parser combinator — In functional programming, a parser combinator is a higher order function which accepts several parsers as input and returns a new parser as its output. In this context, a parser is a function accepting strings as input and returning some… … Wikipedia
Parser Combinator — In mathematics and functional programming, Higher Order functions (HOF) are defined as the functions that can take functions as their input and can also produce functions as their output. The use of a HOF as an infix operator in a function… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Dropbox (service) — Dropbox Original author(s) Drew Houston, Arash Ferdowsi Developer(s) Dropbox, Inc. Initial release … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
SK — The initials SK represent many things. NOTOC lovakia related Topics*SVK (ISO country code), a country in Europe *Slovak crown, the currency of Slovakia *.sk, the internet country code top level domain for Slovakia *, codes for the regions of… … Wikipedia
Paul Graham — Infobox person name=Paul Graham caption= birth date=1964 birth place=Weymouth, England [http://news.ycombinator.com/item?id=324331] occupation= programmer, venture capitalist, authorPaul Graham (born 1964) is a programmer, venture capitalist, and … Wikipedia
Cascading Style Sheets — Vorlage:Infobox Dateiformat/Wartung/MagischeZahl fehltVorlage:Infobox Dateiformat/Wartung/Website fehlt Cascading Style Sheets (CSS) Vorlage:Infobox Dateiformat/Wartung/Screenshot Format … Deutsch Wikipedia
Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… … Wikipedia Español
